741. Mathematical foundations of programming semantics : 9th International Conference, New Orleans, LA, USA, April 7-10, 1993 : proceedings
Author: S. Brookes...]et al.[, eds
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Programming languages )Electronic computers( -- Semantics
Classification :
QA
76
.
L28
Vol
.
802


742. Mathematical foundations of programming semantics: 7th International Conference, Pittsburgh, PA, USA, March 25-28, 1991 : proceedings
Author: S. Brookes...]et al.[, )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Programming languages )Electronic computers( -- Semantics
Classification :
QA
76
.
L28
Vol
.
598


743. Mathematical foundations of programming semantics : 5th International Conference, Tulane University, New Orleans, Louisiana, USA, March 29-April 1, 1989 : proceedings
Author: M. Main...]et al.[, )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Semantics -- Congresses ، Programming languages )Electronic computers(,Congresses ، Computer science -- Mathematics
Classification :
QA
76
.
L28
Vol
.
442


744. Mathematical foundations of programming semantics : 5th international conference, Tulane University, New Orleans, Louisiana, USA, March 29-April 1, 1989 : proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Programming languages )Electronic computers(-- Sematics-- Congresses,، Computer science-- Mathematics-- Congresses
Classification :
QA
76
.
7
.
M38
1990


745. Mathematical logic and programming language
Author: Hoare, C. A. R.
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: ، Programming languages )Electronic computers(,، Logic, Symbolic and mathematical
Classification :
QA
76
.
6
.
M3646
1985


746. Mathematical logic and programming languages
Author: / edited by C.A.R. Hoare and J.C. Shepherdson
Library: Library of College of Science University of Tehran (Tehran)
Subject: Programming languages (Electronic computers),Logic, Symbolic and mathematical
Classification :
QA
76
.
6
.
M3646
1985


747. Mathematical logic and programming languages
Author: / Edited by C. A. R. Hoare, J. C. Shepherdson
Library: University of Tabriz Library, Documentation and Publication Center (East Azarbaijan)
Subject: Programming languages (Electronic computers),Logic, symbolic and mathematical
Classification :
QA76
.
6
.
M3646
1985


748. Mc Graw- Hill Personal computer programming encyclopedia
Author:
Library: Central Library and Information Center of Shahed University (Tehran)
Subject: Microcomputers- Programming,Programming Languages (Electronic computers),Operating System (Computers)
Classification :
QA
،
76
.
6
،.
M414
،
1985


749. McGraw-Hill personal computer programming encyclepedia: languages and operating systems
Author: William J. Birnes, editor;Nancy Hayfield, production editor
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: Programming ، Microcomputers,، Programming languages )Electronic computers(,، Operating systems )Computers(
Classification :
QA
76
.
6
.
M414
1989


750. McGraw-Hill personal computer programming encyclopedia
Author: / edited by William Birnes
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Microcomputers- Programming- Dictionaries,Programming languages (Electronic computers)- Dictionaries,Operating systems (Computer)- Dictionaries
Classification :
QA76
.
6
.
M414
1989
R


751. McGraw-Hill personal computer programming encyclopedia: languages and operating systems
پدیدآورنده :
موضوع : ، Microcomputers-- Programming,، Programming languages )Electronic computers(,، Operating systems )Computers(
۲ نسخه از این کتاب در ۱ کتابخانه موجود است.
752. McGraw-Hill personal computer programming encyclopedia languages and operating systems
Author: William J. Birnes, editor; Nancy Hayfield, production editor
Library: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
Subject: ، Microcomputers -- Programming,، Programming languages )Electronic computers(,، Operating systems )Computers(
Classification :
QA
76
.
6
.
M414
1985


753. McGraw- Hill personal computer programming encyclopedia : languages and operating systems
Author: William J. Birnes, editor ; William P. Woodall, technical editor ; Nancy Hayfield, production editor
Library: Library of Niroo Research Institue (Tehran)
Subject: ، Microcomputers- Programming,، Programming languages )Electronic computers(,، Operating systems )Computers(
Classification :
QA
76
.
6
.
M414
1989


754. McGraw-Hill personal computer programming encyclopedia : languages and operating systems
Author: William J. Birnes, editor ; William P. Woodall, technical editor ; Nancy Hayfield, production editor
Library: Central Library and Documentation Center (Kerman)
Subject: ، Microcomputers - Programming,، Programming languages )Electronic computers(,، Operating systems )Computers(
Classification :
QA
76
.
6
.
M414
1989


755. Mcgraw-hill personal computer programming encyclopedia : languages and operating systems
Author: William J. Birnes, editor, Nancy Hayfield, production editor
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: Microcomputers Programming, Programming languages )Electronic computers( , Operating systems )Computers(
Classification :
QA
76
.
6
.
M42
1985


756. Mes premieres constructions de programmes
Author: Gerbier, A
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Programming languages )Electronic computers(,، Algorithms
Classification :
QA
76
.
G47


757. Meta - Levels Architectures and Reflection
Author: Edited by Patie MAES, Daniele NARDI
Library: Central Library and Information Center of Shahed University (Tehran)
Subject: Programming languages (electronic computers),Artificial Intelligence,Expert systems (computer science)
Classification :
QA
،
76
.
7
،.
M48
،
1988


758. Meta-level architectures and reflection
Author: edited by Pattie Maes, Daniel Nardi
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Programming languages )Electronic computers(,، Artificial intelligence,، Expert systems )Computer science(
Classification :
QA
76
.
7
.
M48
1988


759. Meta-level architectures and reflection : Second International Conference, Reflection'99, Saint-Malo, France, July 19-21, 1999 : proceedings
Author: Pierre Cointe )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Programming languages )Electronic computers(,Congresses ، Artificial intelligence,Congresses ، Expert systems )Computer science(
Classification :
QA
76
.
L28
Vol
.
1616


760. MetaSoft Primer
Author: \ Andrzej Blikle.
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Metalanguage,فرازبان,a02,a02,Programming languages (Electronic computers) -- Semantics.,زبانهای برنامهنویسی کامپیوتر -- معنیشناسی
Classification :
E-Book
,
